q-constraints(k;A;y) == (||y|| = k) c (xrA. q-rel(xr.2;q-linear(k;j.(xr.1)(j);y))) 

latex

---

clarification:

q-constraints(k;A;y)
== (||y|| = k  ) c l_all(A;:()  ;xr.q-rel(xr.2;q-linear(k;j.(xr.1)(j);y))) 

latex

Definitions	A c B, s = t, ||as||, xL. P(x), x:A  B(x), x:AB(x), , , , q-rel(r;x), t.2, q-linear(k;i.X(i);y), f(a), t.1
FDL editor aliases	q-constraints